$\forall$$k$:Knd. ($\uparrow$isrcv($k$)) $\Rightarrow$ (tag($k$) $\in$ Id)